Completeness for the coalgebraic cover modality
نویسندگان
چکیده
منابع مشابه
Completeness for the coalgebraic cover modality
We study the finitary version of the coalgebraic logic introduced by L. Moss. The syntax of this logic, which is introduced uniformly with respect to a coalgebraic type functor, required to preserve weak pullbacks, extends that of classical propositional logic with a so-called coalgebraic cover modality depending on the type functor. Its semantics is defined in terms of a categorically defined ...
متن کاملProof systems for the coalgebraic cover modality
We investigate an alternative presentation of classical and positive modal logic where the coalgebraic cover modality is taken as primitive. For each logic, we present a sound and complete Hilbert-style axiomatization. Moreover, we give a two-sided sound and complete sequent calculus for the negation-free language, and for the language with negation we provide a one-sided sequent calculus which...
متن کاملThe Many-valued Coalgebraic Cover Modality
The aim of Coalgebraic Logic is to find formalisms that allow reasoning about T-coalgebras uniformly in the functor T. Moss' seminal idea was to consider the set functor T as providing a modality ∇ T , the semantics of which is given in terms of the relation lifting of T. The latter exists whenever T preserves weak pullbacks. In joint work with Marta Bílková, Alexander Kurz and Jiří Velebil, we...
متن کاملCompleteness for Coalgebraic Fixpoint Logic
We introduce an axiomatization for the coalgebraic fixed point logic which was introduced by Venema as a generalization, based on Moss’ coalgebraic modality, of the well-known modal mucalculus. Our axiomatization can be seen as a generalization of Kozen’s proof system for the modal mu-calculus to the coalgebraic level of generality. It consists of a complete axiomatization for Moss’ modality, e...
متن کاملSome Sahlqvist Completeness Results for Coalgebraic Logics
This paper presents a first step towards completeness-viacanonicity results for coalgebraic modal logics. Specifically, we consider the relationship between classes of coalgebras for ω-accessible endofunctors and logics defined by Sahlqvist-like frame conditions. Our strategy is based on conjoining two well-known approaches: we represent accessible functors as (equational) quotients of polynomi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2012
ISSN: 1860-5974
DOI: 10.2168/lmcs-8(3:2)2012